Logic Synthesis and Verification Algorithms (Softcover Reprint of the Original 1st 1996)
Logic Synthesis and Verification Algorithms (Softcover Reprint of the Original 1st 1996)
By Gary D Hachtel, Fabio Somenzi
Paperback
(5)
AED
384
79
AED 653.00
41% OFF
Turbo
Free Delivery23 - 24 Sep
Abstraction Refinement for Large Scale Model Checking (2006)
Abstraction Refinement for Large Scale Model Checking (2006)
By Chao Wang, Gary D Hachtel, Fabio Somenzi
Hardcover
AED
530
88
AED 1,011.00
47% OFF
Free Delivery25 Sep - 4 Oct
Need Help?
+971 6 731 0280
support@gzb.ae
About UsContact UsPayment MethodsFAQsShipping PolicyRefund and ReturnTerms of UsePrivacy PolicyCookie Notice
VisaMastercardCash on Delivery

© 2024 White Lion General Trading LLC. All rights reserved.